当
时,
当
时, 由定理 2.9.1 得, 对于
, 有
由推论 1,
于是有
证毕.